Rationality Postulates for Induction
نویسنده
چکیده
I study the process of inductive hypothesis formation from two perspectives: finding general rules that explain given specific evidence, and finding general rules that are confirmed by the evidence. Both forms of hypothesis formation are axiomatised on the metalevel of consequence relations, which provides us with a set of rationality postulates for various forms of induction.
منابع مشابه
Rationality in human nonmonotonic inference
This article tests human inference rationality when dealing with default rules. To study human rationality, psychologists currently use classical models of logic or probability theory as normative models for evaluating human ability to reason rationally. Our position is that this approach is convincing, but only manages to capture a specific case of inferential ability with little regard to con...
متن کاملContraction in Propositional Logic
The AGM model for the revision and contraction of belief sets provides rationality postulates for each of the two cases. In the context of finite propositional logic, Katsuno and Mendelzon pointed out postulates for the revision of belief bases which correspond to the AGM postulates for the revision of beliefs sets. In this paper, we present postulates for the contraction of propositional belie...
متن کاملRethinking the Rationality Postulates for Argumentation-Based Inference
Much research on structured argumentation aims to satisfy the rationality postulates of direct and indirect consistency and strict (deductive) closure. However, examples like the lottery paradox indicate that it is sometimes rational to accept sets of propositions that are indirectly inconsistent or not deductively closed. This paper proposes a variant of the ASPIC+ framework that violates indi...
متن کاملA Model for Generalization Based on Confirmatory Induction
Connrmatory induction is based on the assumption that unknown individuals are similar to known ones, i.e. they satisfy the properties shared by known individuals. This assumption can be represented inside a non-monotonic logical framework. Accordingly, existing approaches to connrmatory induction take advantage of the machinery developed so far for non-monotonic inference. However, they are bas...
متن کاملof the International Conference on Knowledge Representation and Reasoning , Cambridge , MA
The AGM rationality postulates for belief revision play an important role in the formal-ization of subjunctive queries over knowledge bases. However, the well known triviality results by GG ardenfors in connection with the Ramsey Test make deening a query semantics corresponding to these rationality postulates a diicult task. While existing approaches avoid the triviality results by restricting...
متن کامل